Classified Model: Abstract Data Type Specification∗
نویسندگان
چکیده
Abstract Data Types (ADTs) can be specified by the Classified Model (CM) specification language—a first-order Horn language with equality and sort “classification” assertions. Sort assertions generalize the traditional syntactic signatures of ADT specifications, resulting in all of the specification capability of traditional equational specifications, but with the improved expressibility of the Horn-with-equality language. This work extends corresponding results from Many-Sorted Algebra (MSA), Order-Sorted Algebra (OSA) and Order-Sorted Model (OSM) specification techniques by promoting their syntactic signatures to assertions in the Classified-Model specification language, yet retaining sorted quantification. It is shown how this solves MSA problems such as error values, polymorphism and subtypes in a way different from the OSA and OSM solutions. However, the CM technique retains the MSA and order-sorted approach to parameterization. CM proof theory and semantics are developed, including theorems for soundness, completeness and the existence of a free model.
منابع مشابه
Kindle free e book Mark Steven Sherman Paragon: A Language Using Type Hierarchies For The Specification, Implementation, And Selection Of Abstract Data Types rb Play Books Download epubace.ru
Paragon: A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types (Lecture Notes in Computer Science) . Abstraction hierarchies : a model of. HathiTrust Digital Library Paragon A Language Using Type Hierarchies for the Specification, Implementation, and Selection of Abstract Data Types (Electronic book text) / Author: Mark . Kindle free e boo...
متن کاملApplication of Abstract Data Type in Dynamic Pla Approach
This paper presents the definition of abstract data type (ADT) in dynamic Piece-Linear Aggregate (PLA) model. The introduced ADT permits to describe structural changes in the hierarchical dynamic PLA (dynPLA). In order to formalize the specification of abstract data type, the Z language is used. The application of ADT in specification of dynPLA is demonstrated by an example the transaction proc...
متن کاملA View of Database Management Systems as Abstract Data Types
In this paper, we attempt to outline a proposal of a database management system which supports an entityrelationship model, as a collection of abstract data tvpes. Each abstract data type in this collection can be for--' malized using algebraic axiom specification technique of Guttag; each can then be implemented to yield a set of interactive tools which will provide a formal and stepwise proce...
متن کاملInductive-data-type systems
In a previous work (“Abstract Data Type Systems”, TCS 173(2), 1997), the last two authors presented a combined language made of a (strongly normalizing) algebraic rewrite system and a typed λ-calculus enriched by pattern-matching definitions following a certain format, called the “General Schema”, which generalizes the usual recursor definitions for natural numbers and similar “basic inductive ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012